Refinement and Development of Programs from Relational Specifications
نویسندگان
چکیده
منابع مشابه
Deriving Relational Database Programs from Formal Specifications
The derivation of database programs directly from formal specii-cations is a well known and unsolved problem. Most of the previous work on the area either tried to solve the problem too generally or was restricted to some trivial aspects, for example deriving the database structure and/or simple operations. However diicult in general, deriving relational database applications directly from Z sp...
متن کاملFrom Relational Specifications to Logic Programs
This paper presents a compiler from expressive, relational specifications to logic programs. Specifically, the compiler translates the Imperative Alloy specification language to Prolog. Imperative Alloy is a declarative, relational specification language based on first-order logic and extended with imperative constructs; Alloy specifications are traditionally not executable. In spite of this th...
متن کاملDeveloping Logic Programs from Specifications Using Stepwise Refinement
In this paper we demonstrate a refinement calculus for logic programs, which is a framework for developing logic programs from specifications. The paper is written in a tutorial-style, using a running example to illustrate how the refinement calculus is used to develop logic programs. The paper also presents an overview of some of the advanced features of the calculus, including the introductio...
متن کاملProgram derivation - the development of programs from specifications
Reading a book is also kind of better solution when you have no enough money or time to get your own adventure. This is one of the reasons we show the program derivation the development of programs from specifications as your friend in spending the time. For more representative collections, this book not only offers it's strategically book resource. It can be a good friend, really good friend w...
متن کاملJKelloy: A Proof Assistant for Relational Specifications of Java Programs
Alloy is a relational specification language with a built-in transitive closure operator which makes it particularly suitable for writing concise specifications of linked data structures. Several tools support Alloy specifications for Java programs. However, they can only check the validity of those specifications with respect to a bounded domain, and thus, in general, cannot provide correctnes...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic Notes in Theoretical Computer Science
سال: 2003
ISSN: 1571-0661
DOI: 10.1016/s1571-0661(04)80932-0